Coverage Criteria for Model-Based Testing using Property Patterns
نویسندگان
چکیده
منابع مشابه
Coverage Criteria for Model-Based Testing using Property Patterns
We present in this paper a model-based testing approach aiming at generating test cases from a UML/OCL model and a given test property. The property is expressed using a dedicated formalism based on patterns, and automatically translated into an automaton. We propose new automata coverage criteria that are tailored to the property automata we consider. These criteria are based on the coverage o...
متن کاملProperty-Coverage Testing
Testing has been used in practice to check the conformation of an implementation to a specification. Recently, there has been much research in automatic generation of tests from specifications based on counterexample and witness generation techniques of model checking. One important issue in test generation is the notion of coverage, which limits the type and number of tests generated. Many cov...
متن کاملExperimental Evaluation of Coverage Criteria for FSM-based Testing
In order to plan testing activities, testers face the challenge of determining a strategy, including a test coverage criterion, that offers an acceptable compromise between the available resources and test goals. Known theoretical properties of coverage criteria do not always help and thus empirical data are needed. In this paper, we present the results of an experimental evaluation of several ...
متن کاملA Survey of UML-Based Coverage Criteria for Software Testing
The Unified Modeling Language (UML) is a standard notation that can be used to model object oriented software systems. With the growing adoption of UML by the software development industry and academia, researchers have begun to investigate how it can be used in the testing phase of the software development process. Several approaches to software testing have been proposed in which test require...
متن کاملTest Coverage Criteria for Agent Interaction Testing
By the very definition of complex systems, complex behaviour emerges from the interactions between the individual parts. This emergent behaviour may be difficult or impossible to predict by analysing the parts. As a result, systematic and thorough testing of the interactions of complex systems, including multi-agent systems, is an important part of the verification and validation process. This ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.141.3